More from this Author
Found 4 books by Bernhard K. Aichernig (Editor)
Formal Methods at the Crossroads. from Panacea to Foundational Support
by Bernhard K. Aichernig (Editor), Tom Maibaum (Editor)
Formal Methods for Components and Objects
by Bernhard K. Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)
Tests and Proofs
by Bernhard K. Aichernig (Editor), Carlo A. Furia (Editor)
Tests and Proofs
by Bernhard K. Aichernig (Editor), Carlo A. Furia (Editor)